Science of Logic

Results: 5317



#Item
51

Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2010-11-25 12:46:19
    52

    Undecidability Results for Multi-Lane Spatial Logic ?,?? Heinrich Ody Department of Computing Science, University of Oldenburg, Germany

    Add to Reading List

    Source URL: theoretica.informatik.uni-oldenburg.de

    - Date: 2016-02-23 05:22:56
      53

      Jeffrey A. Barrett Logic and Philosophy of Science University of California, Irvine Irvine, CASeptember 2016

      Add to Reading List

      Source URL: www.socsci.uci.edu

      - Date: 2016-09-07 17:50:21
        54

        Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

        Add to Reading List

        Source URL: aprove.informatik.rwth-aachen.de

        - Date: 2010-11-25 10:23:00
          55

          Simplifying Memory Management by Sharing Immutable Succinct Memory Images of Isomorphic Data Objects Paul Tarau Department of Computer Science and Engineering University of North Texas

          Add to Reading List

          Source URL: logic.cse.unt.edu

          - Date: 2011-06-05 12:55:02
            56

            TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

            Add to Reading List

            Source URL: www.wv.inf.tu-dresden.de

            - Date: 2012-07-05 04:11:43
              57

              Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

              Add to Reading List

              Source URL: logic.cse.unt.edu

              - Date: 2011-01-23 15:58:50
                58

                EPISODIC LOGIC: NATURAL LOGIC + REASONING Karl Stratos, Lenhart K. Schubert, and Jonathan Gordon Department of Computer Science, University of Rochester, Rochester, New York 14627, USA {jlee164, schubert, jgordon}@cs.roc

                Add to Reading List

                Source URL: cs.rochester.edu

                - Date: 2011-08-30 11:13:20
                  59

                  Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection Paul Tarau1 1 Department of Computer Science and Engineering

                  Add to Reading List

                  Source URL: logic.cse.unt.edu

                  - Date: 2012-10-26 11:14:39
                    UPDATE